c logical programs